   2365     8   1.18987e+07  1079   1.43345e+07   1.18987e+07  1054109   16.99%

Implied bound cuts applied:  109
Flow cuts applied:  507
Mixed integer rounding cuts applied:  87
Zero-half cuts applied:  5
Gomory fractional cuts applied:  6

Root node processing (before b&c):
  Real time             =   53.47 sec. (36248.49 ticks)
Parallel b&c, 8 threads:
  Real time             = 3547.05 sec. (1214480.51 ticks)
  Sync time (average)   =  296.16 sec.
  Wait time (average)   =    0.16 sec.
                          ------------
Total (root+branch&cut) = 3600.51 sec. (1250729.00 ticks)
Parallel mode: deterministic, using up to 8 threads for concurrent optimization:
 * Starting dual Simplex on 1 thread...
 * Starting Barrier on 6 threads...
 * Starting primal Simplex on 1 thread...
LP Presolve eliminated 13085 rows and 90797 columns.
All rows and columns eliminated.

Dual simplex solved model.

CPLEX 20.1.0.0: time limit with integer solution; objective 14334546.24
1324981 MIP simplex iterations
2366 branch-and-bound nodes
absmipgap = 2.43585e+06, relmipgap = 0.169929
COSTOS = 14334500

NVS [*] :=
1  0.920937
2  0.989691
3  1
4  0.954412
;

O [1,*,*] (tr)
:    1   2   3   4    5    6    7     :=
1    3   2   4    4    4    4    0
2    6   4   4    4    8    4    1
3    7   3   4    6    7    6    1
4    6   6   6    6    8    6    4
5    7   5   7    8    6    3    8
6    6   6   7   10    8    8    5
7    6   5   6   11    9    9   10
8    6   5   7   11    9    7    6
9    6   6   6    8    9    9   12
10   6   8   8   11   10   10    8
11   6   7   6    8   11   10   12
12   9   8   8    9    7   10   13
13   8   8   7    9   10    8    8
14   7   5   5    8    8    5    6
15   5   4   4    4    6    4    2

 [2,*,*] (tr)
:    1   2    3    4    5    6    7     :=
1    2    4    4    4    2    4    2
2    3    4    4    4    4    4    3
3    5    6    4    7    6    6    4
4    6    7    6    8    6    6    6
5    6    5    6    6    7    8    9
6    8    6    6   13   11    6   11
7    6    6    6   12    7    8   10
8    5   11    6   10    9    9    8
9    6    6   10    6   10    8   11
10   6    6    8    9    6   10   13
11   7    8    6    9    8    9   13
12   9    8   12    8   16   11   12
13   8    8    8    8    9    8    8
14   8    8    8    8    7    8    7
15   4    4    4    4    6    4    2

 [3,*,*] (tr)
:    1   2    3   4    5    6    7     :=
1    2    4   4    4    2    4    2
2    5    5   4    5    4    4    4
3    4    6   6    6    6    6    4
4    6    6   6    7    7    6    6
5    6    6   6    6    6    8   10
6    6    6   6    8    8    8   11
7    8    6   6    6    9    8   10
8    6    6   6   10    6    9    9
9    6    8   6    6    7    7   11
10   6    6   7    6   10   10   14
11   7    8   6   12    9   10   11
12   8   10   6   10    8   11   12
13   8    7   8    9    9    7    8
14   8    8   8    8    9    8    8
15   4    4   5    4    4    4    2

 [4,*,*] (tr)
:    1   2   3   4    5    6    7     :=
1    2   4   3    4    2    2    2
2    4   4   4    5    8    4    4
3    5   6   4    6    9    5    4
4    7   6   5    6    9    6    6
5    6   6   6    6   10    4    8
6    8   6   6    6    6    7   10
7    8   5   5    9   10    8    9
8    6   5   6    8   11    8    8
9    6   6   6   10    9    8   11
10   6   7   8    9   11   10   13
11   6   7   6   10    8   10   10
12   8   9   6    9    8   10   10
13   8   8   7    8    9    8    8
14   7   6   7    8    8    6    6
15   4   4   4    4    4    4    2
;

X [*,*] (tr)
:    1   2   3   4   5   6   7   8    :=
1    4   4   2   1   2   0   0   0
2    0   0   0   1   1   1   0   0
3    0   0   0   1   3   0   0   0
4    1   0   0   0   1   1   0   0
5    0   0   0   0   1   0   0   2
6    4   2   6   3   0   0   0   0
7    0   0   0   2   0   0   2   0
8    2   1   0   0   0   1   0   0
9    0   0   0   3   2   0   0   0
10   0   0   0   1   0   0   0   0
11   4   4   1   1   1   0   0   0
12   0   0   0   1   0   1   0   0
13   0   0   0   1   0   0   0   0
14   0   0   0   0   2   1   0   0
15   1   0   0   3   1   0   0   0
16   4   2   2   1   3   0   0   0
;

Poli = 38

:       PE  PF    :=
1 1 1    1   0
1 1 2    2   0
1 1 3    3   0
1 1 5    1   0
1 1 12   2   0
1 1 14   0   1
1 1 15   1   0
1 2 1    0   2
1 2 3    0   3
1 2 5    0   1
1 2 7    0   1
1 2 10   2   0
1 2 14   0   3
1 3 8    1   0
1 3 12   2   0
1 3 13   0   1
1 3 14   0   3
1 4 5    3   0
1 4 6    4   0
1 4 7    5   0
1 4 8    5   0
1 4 9    2   0
1 4 10   5   0
1 4 13   1   0
1 5 1    2   0
1 5 2    4   0
1 5 3    1   0
1 5 4    2   0
1 5 6    2   0
1 5 7    3   0
1 5 8    3   0
1 5 9    3   0
1 5 10   3   0
1 5 11   4   0
1 5 13   2   0
1 5 15   2   0
1 6 5    0   5
1 6 8    0   1
1 6 9    1   0
1 6 14   0   3
1 7 1    0   2
1 7 2    0   3
1 7 3    0   3
1 7 4    0   2
1 7 5    0   1
1 7 6    0   8
1 7 8    0   2
1 7 10   0   7
1 7 14   0   2
2 1 2    0   1
2 1 3    1   0
2 1 6    2   0
2 1 11   1   0
2 1 12   1   0
2 2 4    1   0
2 2 5    0   1
2 2 8    5   0
2 3 9    4   0
2 3 12   6   0
2 4 3    1   0
2 4 4    2   0
2 4 6    7   0
2 4 7    6   0
2 4 8    4   0
2 4 10   3   0
2 4 11   1   0
2 5 5    1   0
2 5 6    5   0
2 5 7    1   0
2 5 8    3   0
2 5 9    4   0
2 5 12   8   0
2 5 15   2   0
2 6 6    0   2
2 6 9    1   0
2 7 2    0   1
2 7 5    0   1
2 7 14   0   1
3 1 2    1   0
3 1 7    2   0
3 1 11   1   0
3 2 2    1   0
3 2 9    2   0
3 2 12   2   0
3 3 3    2   0
3 3 15   1   0
3 4 2    1   0
3 4 4    1   0
3 4 6    2   0
3 4 8    4   0
3 4 11   4   0
3 4 12   2   0
3 4 13   1   0
3 5 4    1   0
3 5 6    2   0
3 5 7    3   0
3 5 9    1   0
3 5 10   4   0
3 5 11   1   0
3 5 13   2   0
3 5 14   1   0
4 1 3    1   0
4 1 4    1   0
4 1 6    2   0
4 1 7    2   0
4 1 14   0   1
4 2 7    0   1
4 2 8    0   1
4 2 10   1   0
4 2 11   0   1
4 2 14   0   2
4 3 1    0   1
4 3 7    0   1
4 3 13   0   1
4 3 14   0   1
4 4 2    1   0
4 4 7    3   0
4 4 8    2   0
4 4 9    4   0
4 4 10   3   0
4 4 11   3   0
4 5 2    4   0
4 5 3    3   0
4 5 4    3   0
4 5 5    4   0
4 5 7    5   0
4 5 8    5   0
4 5 9    3   0
4 5 10   5   0
4 6 1    0   2
4 6 3    0   1
4 6 5    0   3
4 6 7    0   1
4 6 14   0   2
4 7 5    0   2
4 7 6    0   1
4 7 7    0   1
4 7 9    0   1
4 7 10   0   1
4 7 11   0   2
4 7 12   0   2
4 7 14   0   2
;

PO [*,1,1,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
1    3   3   3   3   1   1   0   1   1   1   2   5   5   5   4
2    0   1   1   0   1   0   1   0   2   2   1   1   1   1   0
3    0   0   0   1   1   0   4   0   0   0   0   0   0   0   0
4    0   0   0   0   0   0   0   1   1   0   1   1   2   1   1
5    0   0   0   0   0   2   1   2   2   2   0   0   0   0   0
9    0   1   2   2   3   2   0   2   0   1   2   2   0   0   0
13   0   1   1   0   1   1   0   0   0   0   0   0   0   0   0

 [*,1,2,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
1    2   3   3   6   5   5   4   0   1   1   1   1   1   1   0
2    0   0   0   0   0   0   0   0   2   0   3   2   3   0   0
3    0   0   0   0   0   0   0   3   2   4   0   3   4   4   4
4    0   0   0   0   0   0   0   0   0   0   1   0   0   0   0
5    0   0   0   0   0   0   1   0   1   1   1   0   0   0   0
9    0   1   0   0   0   1   0   2   0   2   0   2   0   0   0
13   0   0   0   0   0   0   0   0   0   0   1   0   0   0   0

 [*,1,3,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
1    3   3   3   3   2   2   3   3   1   2   1   3   3   3   3
2    0   0   0   0   1   1   1   0   2   3   3   3   2   2   0
3    0   0   0   1   0   1   1   1   0   0   0   0   0   0   0
4    0   0   0   0   0   0   0   0   0   0   0   1   1   0   1
5    1   1   1   2   2   1   0   3   2   0   2   0   1   0   0
9    0   0   0   0   2   2   1   0   0   3   0   1   0   0   0
13   0   0   0   0   0   0   0   0   1   0   0   0   0   0   0

 [*,1,4,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
1    2   2   2   3   4   4   4   4   2   2   2   5   5   5   4
2    1   1   1   2   2   0   0   2   1   0   2   1   1   1   0
3    0   0   1   0   0   0   1   1   0   0   0   0   0   0   0
4    0   0   1   0   0   0   3   0   0   2   1   0   0   0   0
5    0   0   0   0   2   2   3   3   3   3   2   3   2   2   0
9    1   1   1   1   0   4   0   0   1   4   0   0   0   0   0
13   0   0   0   0   0   0   0   1   1   0   1   0   1   0   0

 [*,1,5,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
1    4   6   6   6   3   5   5   4   3   4   6   5   5   3   1
2    0   0   0   0   0   1   1   0   2   3   3   0   1   1   1
3    0   0   1   2   2   2   0   3   0   0   0   0   1   0   0
4    0   0   0   0   0   0   1   1   3   0   2   2   1   1   2
5    0   0   0   0   0   0   0   0   0   0   0   0   2   2   2
9    0   2   0   0   1   0   1   1   0   3   0   0   0   1   0
13   0   0   0   0   0   0   1   0   1   0   0   0   0   0   0

 [*,1,6,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
1    3   3   4   4   3   4   4   4   6   6   5   6   3   3   2
2    0   0   0   0   0   1   1   0   1   0   0   0   0   0   0
3    0   0   0   0   0   0   3   1   0   4   4   0   0   0   1
4    1   0   1   1   0   0   1   2   2   0   0   2   0   1   0
5    0   0   0   0   0   2   0   0   0   0   1   2   1   1   1
9    0   1   1   1   0   1   0   0   0   0   0   0   4   0   0

 [*,1,7,*]
:    2   3   4   5   6   7   8   9  10  11   12  13  14  15    :=
1    1   1   3   5   5   5   2   8   8   9   10   4   4   1
2    0   0   0   0   0   1   0   1   0   0    1   1   0   0
3    0   0   0   0   0   1   2   2   0   0    0   3   0   0
4    0   0   0   0   0   1   2   0   0   0    2   0   0   1
5    0   0   1   3   0   0   0   1   0   1    0   0   2   0
9    0   0   0   0   0   2   0   0   0   2    0   0   0   0

 [*,2,1,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
2    0   0   1   2   1   2   1   2   0   0   0   0   0   0   1
5    2   2   2   2   2   0   1   0   0   0   0   0   0   0   0
6    0   0   0   1   1   1   1   0   2   3   6   8   8   8   3
7    0   1   1   1   0   3   3   3   3   3   0   0   0   0   0
8    0   0   0   0   1   1   0   0   1   0   1   1   0   0   0
10   0   0   1   0   1   1   0   0   0   0   0   0   0   0   0

 [*,2,2,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
2    0   0   0   0   0   0   0   3   1   3   0   1   0   2   2
5    0   0   0   0   0   0   0   1   0   0   0   1   1   1   0
6    4   4   6   6   4   4   3   3   0   1   1   2   2   1   1
7    0   0   0   1   1   1   2   1   1   0   3   0   1   0   1
8    0   0   0   0   0   0   0   0   0   0   0   2   2   3   0
10   0   0   0   0   0   0   1   1   1   0   1   0   0   0   0
14   0   0   0   0   0   1   0   2   3   2   3   2   2   1   0

 [*,2,3,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
2    0   0   0   0   0   0   1   2   1   0   0   0   0   0   0
5    0   0   0   1   1   2   3   0   0   2   0   2   1   0   0
6    4   4   4   5   4   4   2   2   7   6   5   5   5   5   0
7    0   0   0   0   0   0   0   1   0   0   0   1   0   0   1
8    0   0   0   0   0   0   0   1   1   0   0   0   0   0   2
10   0   0   0   0   0   0   0   0   1   0   0   1   0   1   0
14   0   0   0   0   1   0   0   0   0   0   1   3   2   2   1

 [*,2,4,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
2    0   0   0   0   0   2   2   0   1   2   0   0   0   0   0
5    0   0   0   0   0   0   0   0   0   0   1   0   1   1   0
6    4   4   6   6   4   8   7   7   5   6   8   4   4   4   1
7    0   0   1   1   1   0   2   0   0   0   0   3   3   3   3
8    0   0   0   0   0   2   0   2   0   0   0   0   0   0   0
10   0   0   0   1   1   1   1   1   0   0   0   0   0   0   0
14   0   0   0   0   0   0   0   0   0   1   0   1   0   0   0

 [*,2,5,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
2    0   0   0   0   0   0   0   3   1   0   0   3   2   0   0
5    0   0   0   0   0   2   2   2   2   2   2   2   0   0   0
6    1   3   6   6   6   6   3   1   0   2   2   6   6   6   6
7    1   1   0   0   1   1   0   0   1   1   1   1   0   0   0
8    0   0   0   0   0   2   1   0   3   0   0   2   1   0   0
14   0   0   0   0   0   0   1   3   3   1   3   2   0   1   0

 [*,2,6,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
2    0   0   0   0   0   0   0   1   0   1   1   0   0   0   0
5    0   0   0   0   0   0   3   3   3   3   2   1   2   2   1
6    4   4   6   6   5   5   3   3   2   5   5   5   3   3   3
7    0   0   0   0   1   1   0   0   1   0   1   1   1   1   0
8    0   0   0   0   0   0   0   0   0   0   0   3   1   1   0
10   0   0   0   0   0   0   0   0   1   1   0   0   0   0   0
14   0   0   0   0   2   0   2   2   1   0   0   1   1   1   0

 [*,2,7,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
2    0   0   0   0   0   1   0   1   0   1   1   0   0   0   0
5    0   0   0   0   0   3   3   3   2   3   2   2   2   0   0
6    2   3   3   4   4   4   4   4   9   9   7   6   5   5   1
7    0   0   0   0   0   0   1   0   0   0   0   2   0   2   1
8    0   0   0   0   3   0   0   0   0   0   1   0   1   0   0
10   0   0   1   1   1   0   0   0   0   0   0   0   0   0   0
14   0   0   0   1   1   3   2   0   0   0   2   2   0   0   0

 [*,3,1,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
3    0   1   1   0   0   1   0   3   3   3   3   3   3   3   0
7    2   1   1   1   3   0   0   0   0   0   2   2   1   1   0
9    0   2   1   1   0   1   3   0   2   1   0   0   2   2   2
10   0   0   0   1   0   0   1   1   0   0   0   0   0   0   0
11   0   1   1   3   3   3   3   0   0   0   0   2   2   2   2
12   0   0   0   0   0   0   0   1   1   2   1   1   0   0   0
15   0   0   0   0   0   1   1   1   0   0   1   0   0   0   0

 [*,3,2,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
3    0   0   0   0   0   0   0   0   1   0   4   1   0   0   0
7    1   1   1   0   0   1   0   3   3   4   0   3   2   1   0
9    0   0   1   1   1   0   3   0   2   0   2   0   0   0   0
10   0   0   0   0   0   0   0   0   0   1   0   1   0   0   0
11   3   3   4   4   4   5   2   3   2   1   2   5   5   5   4
12   0   1   0   0   0   0   1   0   0   0   0   0   0   0   0
15   0   0   0   1   1   0   0   0   0   0   0   0   0   2   0

 [*,3,3,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
3    0   0   0   0   1   0   0   0   1   0   0   0   0   0   0
7    0   0   0   0   0   1   1   0   1   2   2   0   1   1   0
9    0   0   0   0   0   0   1   2   3   0   1   0   1   1   0
10   0   0   0   0   0   0   0   0   0   1   1   0   1   0   0
11   3   4   5   6   5   4   3   2   0   0   0   5   5   5   5
12   1   0   1   0   0   0   0   2   1   1   0   0   0   0   0
15   0   0   0   0   0   1   1   0   0   3   2   1   0   1   0

 [*,3,4,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
3    0   0   0   1   1   1   0   0   0   0   0   0   0   0   0
7    1   1   0   0   0   2   0   2   2   4   3   0   0   0   0
9    0   0   0   0   1   0   5   5   3   0   4   1   1   1   0
10   0   0   1   0   0   0   0   0   0   0   0   0   0   0   0
11   3   4   5   5   3   3   1   1   1   2   5   6   6   5   2
12   0   0   0   1   0   2   0   2   0   0   0   0   0   0   0
15   0   0   0   0   1   0   0   0   0   0   0   3   2   2   2

 [*,3,5,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
3    0   1   0   0   0   0   4   0   3   3   3   2   1   2   0
7    0   0   1   1   0   0   0   0   0   0   0   0   1   1   0
9    0   0   2   2   1   3   4   2   3   0   3   2   2   1   0
11   1   2   3   3   3   2   0   1   1   2   3   4   4   4   3
12   1   1   0   1   1   0   1   1   0   1   0   0   1   0   1
15   0   0   0   0   1   3   0   2   0   4   0   0   0   1   0

 [*,3,6,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
3    0   0   0   0   0   3   0   2   3   0   0   4   4   1   0
7    1   1   1   1   1   1   2   2   1   2   0   0   0   0   0
9    1   0   0   0   1   0   2   2   1   4   4   4   0   4   3
10   0   0   0   0   1   1   1   1   0   0   0   0   0   0   0
11   1   3   4   4   4   2   2   2   0   1   3   3   3   3   1
12   1   0   1   1   1   1   0   0   0   0   0   0   0   0   0
15   0   0   0   0   0   0   1   0   2   3   3   0   0   0   0

 [*,3,7,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
3    0   0   0   0   0   0   2   1   1   3   3   3   0   3   0
7    0   0   0   0   2   4   3   4   4   4   2   0   2   0   1
9    0   0   0   0   2   2   0   2   2   2   0   2   0   0   0
10   1   1   0   0   0   1   0   0   0   0   0   0   0   0   0
11   1   3   3   6   5   3   3   0   0   0   1   2   2   2   1
12   0   0   0   0   0   0   1   1   0   0   1   1   0   0   0
15   0   0   1   0   1   1   1   1   4   5   4   4   4   3   0

 [*,4,1,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
4    0   0   0   0   0   1   1   1   1   2   1   1   0   0   0
8    0   0   0   0   0   0   1   1   0   1   0   0   0   0   0
12   0   0   0   0   0   0   0   0   0   0   1   1   2   2   2
13   1   0   0   1   0   0   0   0   0   0   0   0   0   0   0
15   0   0   0   0   0   0   0   0   1   1   0   1   1   0   0
16   1   4   5   6   6   7   6   4   4   2   4   5   5   5   2

 [*,4,2,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
4    0   0   0   0   0   0   0   0   1   1   0   1   0   0   0
8    0   0   0   0   0   0   0   0   0   0   3   1   1   0   0
12   2   1   2   2   2   2   0   1   0   0   0   0   0   0   0
13   0   0   0   0   0   0   0   0   1   1   0   1   1   1   0
14   0   0   0   1   1   0   2   1   0   1   0   0   0   1   1
15   0   0   1   0   0   1   0   0   3   3   3   3   3   1   0
16   2   3   3   3   3   3   3   3   1   1   1   3   3   3   3

 [*,4,3,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
4    0   0   0   0   0   0   0   1   1   1   1   0   0   1   0
8    0   0   0   0   0   0   0   0   0   1   1   2   2   2   0
12   0   1   0   1   2   2   2   0   0   0   0   0   0   0   0
13   0   0   0   0   0   0   0   0   0   1   1   1   1   1   0
14   0   0   0   0   0   1   2   3   3   3   2   0   0   0   0
15   0   0   1   1   1   0   0   1   1   1   1   2   3   2   3
16   3   3   3   3   3   3   1   1   1   1   0   1   1   1   1

 [*,4,4,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
4    0   1   0   1   1   1   0   3   3   0   0   1   1   1   0
8    0   0   1   1   1   0   2   0   2   1   2   2   2   2   0
12   1   1   2   1   2   0   2   0   0   0   0   0   0   0   0
13   0   0   0   0   0   0   0   0   0   1   0   1   0   0   0
14   0   0   0   0   1   1   1   1   1   0   1   0   0   0   0
15   0   0   0   0   0   3   3   3   3   4   4   0   0   0   0
16   3   3   3   3   1   1   1   1   1   3   3   5   5   5   4

 [*,4,5,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
4    0   0   0   0   0   0   0   2   0   3   0   0   1   1   0
8    0   0   0   0   1   0   2   3   0   3   2   0   0   0   0
12   0   0   1   0   0   1   0   0   0   0   1   1   0   1   0
13   0   0   0   0   0   0   0   1   0   1   1   1   0   0   0
14   0   0   0   0   0   0   0   0   0   2   0   1   3   2   2
15   0   0   0   1   2   0   3   1   4   0   2   2   2   1   1
16   2   8   8   8   7   5   5   4   5   2   2   3   3   3   1

 [*,4,6,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
4    0   1   0   0   0   1   0   0   0   2   2   0   2   0   1
8    0   0   0   1   1   1   2   1   3   3   3   0   0   0   0
12   0   1   0   0   0   0   0   0   0   0   0   0   0   0   0
14   2   2   2   2   0   2   1   1   0   1   1   0   0   0   0
15   0   0   0   0   0   0   2   3   2   1   1   4   0   0   0
16   0   0   3   3   3   3   3   3   3   3   3   6   6   6   3

 [*,4,7,*]
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15    :=
4    0   0   0   0   1   2   1   0   2   2   2   1   2   1   0
8    0   0   0   1   0   3   3   2   1   1   1   2   0   1   0
12   0   0   0   0   1   1   0   0   1   1   0   0   0   0   0
13   0   0   0   0   0   0   0   0   0   1   1   1   1   1   1
14   1   1   1   0   0   0   1   3   2   2   0   0   2   0   0
15   0   0   0   1   0   0   0   0   0   0   0   0   0   0   0
16   1   3   3   4   6   4   4   3   5   6   6   6   3   3   1
;

SEC [1,*,*] (tr)
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15  16    :=
1    0   0   1   0   0   0   1   0   0   0   0   1   1   1   0   0
2    0   0   0   1   0   0   0   1   1   0   0   0   0   0   1   0
3    0   0   0   0   1   0   0   0   0   0   0   0   0   0   0   0
7    0   0   0   0   0   0   0   0   0   1   0   0   0   0   0   1
8    0   1   0   0   0   0   0   0   0   0   0   0   0   0   0   0
12   1   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0
14   0   0   0   0   0   1   0   0   0   0   0   0   0   0   0   0
19   0   0   0   0   0   0   0   0   0   0   1   0   0   0   0   0

 [2,*,*] (tr)
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15  16    :=
22   0   1   1   1   1   1   0   0   1   1   0   0   1   1   1   1
25   0   0   0   0   0   0   0   0   0   0   0   1   0   0   0   0
27   1   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0
28   0   0   0   0   0   0   1   1   0   0   1   0   0   0   0   0

 [3,*,*] (tr)
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15  16    :=
1    0   1   1   1   1   1   0   1   1   1   0   0   1   1   1   0
2    1   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0
6    0   0   0   0   0   0   0   0   0   0   1   0   0   0   0   0
8    0   0   0   0   0   0   1   0   0   0   0   0   0   0   0   0
10   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   1
15   0   0   0   0   0   0   0   0   0   0   0   1   0   0   0   0

 [4,*,*] (tr)
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15  16    :=
22   0   1   1   1   1   0   0   0   1   0   1   1   0   1   0   0
23   1   0   0   0   0   0   1   0   0   0   0   0   1   0   0   1
24   0   0   0   0   0   1   0   0   0   1   0   0   0   0   0   0
27   0   0   0   0   0   0   0   1   0   0   0   0   0   0   0   0
28   0   0   0   0   0   0   0   0   0   0   0   0   0   0   1   0

 [5,*,*] (tr)
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15  16    :=
1    1   0   0   0   0   0   0   1   0   1   0   0   1   0   0   0
3    0   0   0   0   0   0   0   0   0   0   0   0   0   1   0   0
4    0   0   0   0   1   0   0   0   0   0   0   0   0   0   0   0
6    0   0   0   0   0   0   0   0   0   0   1   0   0   0   0   0
7    0   0   0   1   0   1   1   0   1   0   0   0   0   0   0   0
10   0   0   0   0   0   0   0   0   0   0   0   0   0   0   1   0
12   0   0   1   0   0   0   0   0   0   0   0   0   0   0   0   1
14   0   0   0   0   0   0   0   0   0   0   0   1   0   0   0   0
21   0   1   0   0   0   0   0   0   0   0   0   0   0   0   0   0

 [6,*,*] (tr)
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15  16    :=
22   1   0   1   0   1   1   1   0   1   0   1   0   1   0   1   0
23   0   1   0   0   0   0   0   0   0   0   0   1   0   0   0   0
24   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   1
27   0   0   0   1   0   0   0   1   0   1   0   0   0   0   0   0
28   0   0   0   0   0   0   0   0   0   0   0   0   0   1   0   0

 [7,*,*] (tr)
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15  16    :=
1    0   1   1   0   1   1   0   1   0   1   1   1   1   1   1   1
2    0   0   0   0   0   0   0   0   1   0   0   0   0   0   0   0
4    1   0   0   1   0   0   0   0   0   0   0   0   0   0   0   0
13   0   0   0   0   0   0   1   0   0   0   0   0   0   0   0   0

 [8,*,*] (tr)
:    1   2   3   4   5   6   7   8   9  10  11  12  13  14  15  16    :=
22   1   1   1   0   0   1   1   1   1   1   1   1   0   1   1   1
23   0   0   0   1   0   0   0   0   0   0   0   0   0   0   0   0
24   0   0   0   0   0   0   0   0   0   0   0   0   1   0   0   0
27   0   0   0   0   1   0   0   0   0   0   0   0   0   0   0   0
;

R [1,1,1,*,*]
:   12    :=
1    2
28   1
35   1

 [1,1,2,*,*]
:   12    :=
1    1
13   3

 [1,1,3,*,*]
 [1,1,4,*,*]
 [1,1,5,*,*]
:   12    :=
1    4

 [1,1,6,*,*]
:   12    :=
1    2
36   2

 [1,1,7,*,*]
:   12    :=
31   4

 [1,2,1,*,*]
 [1,2,2,*,*]
 [1,2,3,*,*]
 [1,2,4,*,*]
 [1,2,5,*,*]
 [1,2,6,*,*]
 [1,2,7,*,*]
 [1,3,1,*,*]
 [1,3,2,*,*]
 [1,3,3,*,*]
 [1,3,4,*,*]
 [1,3,5,*,*]
 [1,3,6,*,*]
 [1,3,7,*,*]
 [1,4,1,*,*]
 [1,4,2,*,*]
:    2    :=
31   1

 [1,4,3,*,*]
 [1,4,4,*,*]
:    2    :=
25   1

 [1,4,5,*,*]
:    2    :=
25   1

 [1,4,6,*,*]
:    2    :=
1    1

 [1,4,7,*,*]
:    2    :=
36   1

 [1,5,1,*,*]
 [1,5,2,*,*]
 [1,5,3,*,*]
 [1,5,4,*,*]
 [1,5,5,*,*]
 [1,5,6,*,*]
 [1,5,7,*,*]
 [1,6,1,*,*]
:   14    :=
35   2
36   2

 [1,6,2,*,*]
:   14    :=
1    2
17   1
33   1

 [1,6,3,*,*]
 [1,6,4,*,*]
:   14    :=
1    1
35   3

 [1,6,5,*,*]
:   14    :=
36   4

 [1,6,6,*,*]
 [1,6,7,*,*]
:   14    :=
1    2
28   1
31   1

 [1,7,1,*,*]
 [1,7,2,*,*]
 [1,7,3,*,*]
 [1,7,4,*,*]
 [1,7,5,*,*]
 [1,7,6,*,*]
 [1,7,7,*,*]
 [1,8,1,*,*]
 [1,8,2,*,*]
:    2    :=
35   2

 [1,8,3,*,*]
 [1,8,4,*,*]
:    2    :=
21   1
35   1

 [1,8,5,*,*]
:    2    :=
17   1
31   1

 [1,8,6,*,*]
:    2    :=
31   2

 [1,8,7,*,*]
:    2    :=
13   1
17   1

 [1,9,1,*,*]
 [1,9,2,*,*]
 [1,9,3,*,*]
 [1,9,4,*,*]
 [1,9,5,*,*]
 [1,9,6,*,*]
 [1,9,7,*,*]
 [1,10,1,*,*]
 [1,10,2,*,*]
 [1,10,3,*,*]
 [1,10,4,*,*]
 [1,10,5,*,*]
 [1,10,6,*,*]
 [1,10,7,*,*]
 [1,11,1,*,*]
:   19    :=
13   2
36   2

 [1,11,2,*,*]
:   19    :=
9    1
17   1
35   1
36   1

 [1,11,3,*,*]
:   19    :=
1    1
5    1
13   1
36   1

 [1,11,4,*,*]
:   19    :=
35   3
36   1

 [1,11,5,*,*]
 [1,11,6,*,*]
 [1,11,7,*,*]
:   19    :=
1    1
5    2
36   1

 [1,12,1,*,*]
 [1,12,2,*,*]
 [1,12,3,*,*]
 [1,12,4,*,*]
 [1,12,5,*,*]
 [1,12,6,*,*]
 [1,12,7,*,*]
 [1,13,1,*,*]
 [1,13,2,*,*]
 [1,13,3,*,*]
 [1,13,4,*,*]
 [1,13,5,*,*]
 [1,13,6,*,*]
 [1,13,7,*,*]
 [1,14,1,*,*]
 [1,14,2,*,*]
 [1,14,3,*,*]
 [1,14,4,*,*]
 [1,14,5,*,*]
 [1,14,6,*,*]
 [1,14,7,*,*]
 [1,15,1,*,*]
 [1,15,2,*,*]
:    2    :=
9    1

 [1,15,3,*,*]
 [1,15,4,*,*]
:    2    :=
21   1

 [1,15,5,*,*]
:    2    :=
13   1

 [1,15,6,*,*]
:    2    :=
31   1

 [1,15,7,*,*]
:    2    :=
33   1

 [1,16,1,*,*]
:    7    :=
21   1
35   1
36   2

 [1,16,2,*,*]
 [1,16,3,*,*]
 [1,16,4,*,*]
:    7    :=
1    3
17   1

 [1,16,5,*,*]
:    7    :=
1    2
5    2

 [1,16,6,*,*]
:    7    :=
35   1
36   3

 [1,16,7,*,*]
:    7    :=
1    1
5    2
13   1

 [2,1,1,*,*]
:   27    :=
36   4

 [2,1,2,*,*]
 [2,1,3,*,*]
:   27    :=
1    1
25   1
36   2

 [2,1,4,*,*]
:   27    :=
35   1
36   3

 [2,1,5,*,*]
:   27    :=
17   1
28   1
35   2

 [2,1,6,*,*]
:   27    :=
1    1
31   2
35   1

 [2,1,7,*,*]
:   27    :=
13   2
35   1
36   1

 [2,2,1,*,*]
 [2,2,2,*,*]
 [2,2,3,*,*]
 [2,2,4,*,*]
 [2,2,5,*,*]
 [2,2,6,*,*]
 [2,2,7,*,*]
 [2,3,1,*,*]
 [2,3,2,*,*]
 [2,3,3,*,*]
 [2,3,4,*,*]
 [2,3,5,*,*]
 [2,3,6,*,*]
 [2,3,7,*,*]
 [2,4,1,*,*]
 [2,4,2,*,*]
 [2,4,3,*,*]
 [2,4,4,*,*]
 [2,4,5,*,*]
 [2,4,6,*,*]
 [2,4,7,*,*]
 [2,5,1,*,*]
 [2,5,2,*,*]
 [2,5,3,*,*]
 [2,5,4,*,*]
 [2,5,5,*,*]
 [2,5,6,*,*]
 [2,5,7,*,*]
 [2,6,1,*,*]
:   22    :=
13   1
35   1

 [2,6,2,*,*]
:   22    :=
1    1
36   1

 [2,6,3,*,*]
:   22    :=
1    1
25   1

 [2,6,4,*,*]
:   22    :=
1    2

 [2,6,5,*,*]
:   22    :=
9    2

 [2,6,6,*,*]
:   22    :=
1    1
9    1

 [2,6,7,*,*]
 [2,7,1,*,*]
 [2,7,2,*,*]
 [2,7,3,*,*]
 [2,7,4,*,*]
 [2,7,5,*,*]
 [2,7,6,*,*]
 [2,7,7,*,*]
 [2,8,1,*,*]
 [2,8,2,*,*]
:   28    :=
35   1

 [2,8,3,*,*]
:   28    :=
36   1

 [2,8,4,*,*]
:   28    :=
35   1

 [2,8,5,*,*]
:   28    :=
25   1

 [2,8,6,*,*]
:   28    :=
13   1

 [2,8,7,*,*]
:   28    :=
35   1

 [2,9,1,*,*]
 [2,9,2,*,*]
 [2,9,3,*,*]
 [2,9,4,*,*]
 [2,9,5,*,*]
 [2,9,6,*,*]
 [2,9,7,*,*]
 [2,10,1,*,*]
 [2,10,2,*,*]
 [2,10,3,*,*]
 [2,10,4,*,*]
 [2,10,5,*,*]
 [2,10,6,*,*]
 [2,10,7,*,*]
 [2,11,1,*,*]
 [2,11,2,*,*]
:   28    :=
1    1
21   1
36   2

 [2,11,3,*,*]
:   28    :=
36   4

 [2,11,4,*,*]
:   28    :=
1    2
9    1
33   1

 [2,11,5,*,*]
:   28    :=
5    1
9    1
35   1
36   1

 [2,11,6,*,*]
:   28    :=
5    2
35   2

 [2,11,7,*,*]
:   28    :=
13   3
35   1

 [2,12,1,*,*]
 [2,12,2,*,*]
 [2,12,3,*,*]
 [2,12,4,*,*]
 [2,12,5,*,*]
 [2,12,6,*,*]
 [2,12,7,*,*]
 [2,13,1,*,*]
 [2,13,2,*,*]
 [2,13,3,*,*]
 [2,13,4,*,*]
 [2,13,5,*,*]
 [2,13,6,*,*]
 [2,13,7,*,*]
 [2,14,1,*,*]
 [2,14,2,*,*]
 [2,14,3,*,*]
 [2,14,4,*,*]
 [2,14,5,*,*]
 [2,14,6,*,*]
 [2,14,7,*,*]
 [2,15,1,*,*]
 [2,15,2,*,*]
 [2,15,3,*,*]
 [2,15,4,*,*]
 [2,15,5,*,*]
 [2,15,6,*,*]
 [2,15,7,*,*]
 [2,16,1,*,*]
:   22    :=
35   2

 [2,16,2,*,*]
:   22    :=
36   2

 [2,16,3,*,*]
:   22    :=
25   1
36   1

 [2,16,4,*,*]
:   22    :=
36   2

 [2,16,5,*,*]
:   22    :=
35   1
36   1

 [2,16,6,*,*]
:   22    :=
35   2

 [2,16,7,*,*]
 [3,1,1,*,*]
 [3,1,2,*,*]
:    2    :=
6    1
32   1

 [3,1,3,*,*]
 [3,1,4,*,*]
:    2    :=
14   1
34   1

 [3,1,5,*,*]
:    2    :=
6    2

 [3,1,6,*,*]
:    2    :=
18   1
22   1

 [3,1,7,*,*]
:    2    :=
6    1
32   1

 [3,2,1,*,*]
 [3,2,2,*,*]
 [3,2,3,*,*]
 [3,2,4,*,*]
 [3,2,5,*,*]
 [3,2,6,*,*]
 [3,2,7,*,*]
 [3,3,1,*,*]
 [3,3,2,*,*]
 [3,3,3,*,*]
 [3,3,4,*,*]
 [3,3,5,*,*]
 [3,3,6,*,*]
 [3,3,7,*,*]
 [3,4,1,*,*]
 [3,4,2,*,*]
 [3,4,3,*,*]
 [3,4,4,*,*]
 [3,4,5,*,*]
 [3,4,6,*,*]
 [3,4,7,*,*]
 [3,5,1,*,*]
 [3,5,2,*,*]
 [3,5,3,*,*]
 [3,5,4,*,*]
 [3,5,5,*,*]
 [3,5,6,*,*]
 [3,5,7,*,*]
 [3,6,1,*,*]
 [3,6,2,*,*]
 [3,6,3,*,*]
:    1    :=
14   1
32   5

 [3,6,4,*,*]
:    1    :=
10   2
22   4

 [3,6,5,*,*]
:    1    :=
2    1
6    2
10   1
34   2

 [3,6,6,*,*]
:    1    :=
2    2
10   1
34   3

 [3,6,7,*,*]
:    1    :=
14   1
18   2
32   2
34   1

 [3,7,1,*,*]
 [3,7,2,*,*]
 [3,7,3,*,*]
 [3,7,4,*,*]
 [3,7,5,*,*]
 [3,7,6,*,*]
 [3,7,7,*,*]
 [3,8,1,*,*]
 [3,8,2,*,*]
 [3,8,3,*,*]
 [3,8,4,*,*]
 [3,8,5,*,*]
 [3,8,6,*,*]
 [3,8,7,*,*]
 [3,9,1,*,*]
 [3,9,2,*,*]
 [3,9,3,*,*]
 [3,9,4,*,*]
 [3,9,5,*,*]
 [3,9,6,*,*]
 [3,9,7,*,*]
 [3,10,1,*,*]
 [3,10,2,*,*]
 [3,10,3,*,*]
 [3,10,4,*,*]
 [3,10,5,*,*]
 [3,10,6,*,*]
 [3,10,7,*,*]
 [3,11,1,*,*]
 [3,11,2,*,*]
:    6    :=
2    1

 [3,11,3,*,*]
:    6    :=
2    1

 [3,11,4,*,*]
:    6    :=
2    1

 [3,11,5,*,*]
:    6    :=
2    1

 [3,11,6,*,*]
:    6    :=
10   1

 [3,11,7,*,*]
 [3,12,1,*,*]
 [3,12,2,*,*]
 [3,12,3,*,*]
 [3,12,4,*,*]
 [3,12,5,*,*]
 [3,12,6,*,*]
 [3,12,7,*,*]
 [3,13,1,*,*]
 [3,13,2,*,*]
 [3,13,3,*,*]
 [3,13,4,*,*]
 [3,13,5,*,*]
 [3,13,6,*,*]
 [3,13,7,*,*]
 [3,14,1,*,*]
 [3,14,2,*,*]
 [3,14,3,*,*]
 [3,14,4,*,*]
 [3,14,5,*,*]
 [3,14,6,*,*]
 [3,14,7,*,*]
 [3,15,1,*,*]
 [3,15,2,*,*]
 [3,15,3,*,*]
 [3,15,4,*,*]
 [3,15,5,*,*]
 [3,15,6,*,*]
 [3,15,7,*,*]
 [3,16,1,*,*]
:   10    :=
6    2

 [3,16,2,*,*]
 [3,16,3,*,*]
:   10    :=
2    2

 [3,16,4,*,*]
:   10    :=
34   2

 [3,16,5,*,*]
:   10    :=
6    1
18   1

 [3,16,6,*,*]
 [3,16,7,*,*]
:   10    :=
32   2

 [4,1,1,*,*]
:   23    :=
2    1

 [4,1,2,*,*]
:   23    :=
2    1

 [4,1,3,*,*]
:   23    :=
34   1

 [4,1,4,*,*]
:   23    :=
18   1

 [4,1,5,*,*]
:   23    :=
34   1

 [4,1,6,*,*]
 [4,1,7,*,*]
:   23    :=
32   1

 [4,2,1,*,*]
:   22    :=
34   1

 [4,2,2,*,*]
:   22    :=
29   1

 [4,2,3,*,*]
:   22    :=
32   1

 [4,2,4,*,*]
:   22    :=
2    1

 [4,2,5,*,*]
:   22    :=
29   1

 [4,2,6,*,*]
:   22    :=
22   1

 [4,2,7,*,*]
 [4,3,1,*,*]
:   22    :=
6    1

 [4,3,2,*,*]
:   22    :=
34   1

 [4,3,3,*,*]
:   22    :=
14   1

 [4,3,4,*,*]
:   22    :=
10   1

 [4,3,5,*,*]
:   22    :=
6    1

 [4,3,6,*,*]
:   22    :=
34   1

 [4,3,7,*,*]
 [4,4,1,*,*]
 [4,4,2,*,*]
 [4,4,3,*,*]
 [4,4,4,*,*]
 [4,4,5,*,*]
 [4,4,6,*,*]
 [4,4,7,*,*]
 [4,5,1,*,*]
 [4,5,2,*,*]
 [4,5,3,*,*]
 [4,5,4,*,*]
 [4,5,5,*,*]
 [4,5,6,*,*]
 [4,5,7,*,*]
 [4,6,1,*,*]
:   24    :=
32   2
34   1

 [4,6,2,*,*]
:   24    :=
2    1
10   2

 [4,6,3,*,*]
:   24    :=
2    3

 [4,6,4,*,*]
:   24    :=
2    1
18   1
34   1

 [4,6,5,*,*]
 [4,6,6,*,*]
:   24    :=
2    1
26   2

 [4,6,7,*,*]
:   24    :=
6    1
32   2

 [4,7,1,*,*]
:   23    :=
2    1
26   1

 [4,7,2,*,*]
:   23    :=
29   2

 [4,7,3,*,*]
:   23    :=
22   1
34   1

 [4,7,4,*,*]
:   23    :=
34   2

 [4,7,5,*,*]
:   23    :=
2    1
32   1

 [4,7,6,*,*]
 [4,7,7,*,*]
:   23    :=
18   2

 [4,8,1,*,*]
 [4,8,2,*,*]
 [4,8,3,*,*]
 [4,8,4,*,*]
 [4,8,5,*,*]
 [4,8,6,*,*]
 [4,8,7,*,*]
 [4,9,1,*,*]
:   22    :=
6    1
34   2

 [4,9,2,*,*]
:   22    :=
6    1
26   2

 [4,9,3,*,*]
:   22    :=
18   2
32   1

 [4,9,4,*,*]
:   22    :=
22   3

 [4,9,5,*,*]
:   22    :=
6    2
22   1

 [4,9,6,*,*]
:   22    :=
34   3

 [4,9,7,*,*]
 [4,10,1,*,*]
:   24    :=
10   1

 [4,10,2,*,*]
:   24    :=
26   1

 [4,10,3,*,*]
:   24    :=
32   1

 [4,10,4,*,*]
:   24    :=
10   1

 [4,10,5,*,*]
 [4,10,6,*,*]
:   24    :=
18   1

 [4,10,7,*,*]
:   24    :=
2    1

 [4,11,1,*,*]
:   22    :=
6    1

 [4,11,2,*,*]
:   22    :=
2    1

 [4,11,3,*,*]
:   22    :=
10   1

 [4,11,4,*,*]
:   22    :=
34   1

 [4,11,5,*,*]
:   22    :=
34   1

 [4,11,6,*,*]
:   22    :=
34   1

 [4,11,7,*,*]
 [4,12,1,*,*]
:   22    :=
34   1

 [4,12,2,*,*]
:   22    :=
2    1

 [4,12,3,*,*]
:   22    :=
18   1

 [4,12,4,*,*]
:   22    :=
10   1

 [4,12,5,*,*]
:   22    :=
34   1

 [4,12,6,*,*]
:   22    :=
2    1

 [4,12,7,*,*]
 [4,13,1,*,*]
:   23    :=
2    1

 [4,13,2,*,*]
:   23    :=
32   1

 [4,13,3,*,*]
:   23    :=
32   1

 [4,13,4,*,*]
:   23    :=
29   1

 [4,13,5,*,*]
:   23    :=
26   1

 [4,13,6,*,*]
 [4,13,7,*,*]
:   23    :=
34   1

 [4,14,1,*,*]
 [4,14,2,*,*]
 [4,14,3,*,*]
 [4,14,4,*,*]
 [4,14,5,*,*]
 [4,14,6,*,*]
 [4,14,7,*,*]
 [4,15,1,*,*]
 [4,15,2,*,*]
:   28    :=
32   3

 [4,15,3,*,*]
:   28    :=
34   3

 [4,15,4,*,*]
:   28    :=
22   1
34   2

 [4,15,5,*,*]
:   28    :=
18   2
32   1

 [4,15,6,*,*]
:   28    :=
26   3

 [4,15,7,*,*]
:   28    :=
32   3

 [4,16,1,*,*]
:   23    :=
2    1

 [4,16,2,*,*]
:   23    :=
6    1

 [4,16,3,*,*]
:   23    :=
2    1

 [4,16,4,*,*]
:   23    :=
32   1

 [4,16,5,*,*]
:   23    :=
32   1

 [4,16,6,*,*]
 [4,16,7,*,*]
:   23    :=
34   1

 [5,1,1,*,*]
 [5,1,2,*,*]
 [5,1,3,*,*]
:    1    :=
3    2

 [5,1,4,*,*]
:    1    :=
3    2

 [5,1,5,*,*]
:    1    :=
23   2

 [5,1,6,*,*]
:    1    :=
11   1
19   1

 [5,1,7,*,*]
:    1    :=
19   2

 [5,2,1,*,*]
:   21    :=
7    1

 [5,2,2,*,*]
:   21    :=
30   1

 [5,2,3,*,*]
:   21    :=
27   1

 [5,2,4,*,*]
:   21    :=
15   1

 [5,2,5,*,*]
:   21    :=
30   1

 [5,2,6,*,*]
 [5,2,7,*,*]
 [5,3,1,*,*]
:   12    :=
27   3

 [5,3,2,*,*]
:   12    :=
30   3

 [5,3,3,*,*]
 [5,3,4,*,*]
 [5,3,5,*,*]
:   12    :=
15   1
27   2

 [5,3,6,*,*]
:   12    :=
23   3

 [5,3,7,*,*]
:   12    :=
27   3

 [5,4,1,*,*]
:    7    :=
30   1

 [5,4,2,*,*]
 [5,4,3,*,*]
 [5,4,4,*,*]
:    7    :=
27   1

 [5,4,5,*,*]
:    7    :=
30   1

 [5,4,6,*,*]
:    7    :=
23   1

 [5,4,7,*,*]
:    7    :=
23   1

 [5,5,1,*,*]
 [5,5,2,*,*]
:    4    :=
27   1

 [5,5,3,*,*]
:    4    :=
3    1

 [5,5,4,*,*]
:    4    :=
27   1

 [5,5,5,*,*]
 [5,5,6,*,*]
:    4    :=
27   1

 [5,5,7,*,*]
:    4    :=
15   1

 [5,6,1,*,*]
 [5,6,2,*,*]
 [5,6,3,*,*]
 [5,6,4,*,*]
 [5,6,5,*,*]
 [5,6,6,*,*]
 [5,6,7,*,*]
 [5,7,1,*,*]
 [5,7,2,*,*]
 [5,7,3,*,*]
 [5,7,4,*,*]
 [5,7,5,*,*]
 [5,7,6,*,*]
 [5,7,7,*,*]
 [5,8,1,*,*]
 [5,8,2,*,*]
 [5,8,3,*,*]
 [5,8,4,*,*]
 [5,8,5,*,*]
 [5,8,6,*,*]
 [5,8,7,*,*]
 [5,9,1,*,*]
:    7    :=
7    2

 [5,9,2,*,*]
 [5,9,3,*,*]
 [5,9,4,*,*]
:    7    :=
3    1
27   1

 [5,9,5,*,*]
:    7    :=
27   2

 [5,9,6,*,*]
:    7    :=
3    1
27   1

 [5,9,7,*,*]
:    7    :=
19   2

 [5,10,1,*,*]
 [5,10,2,*,*]
 [5,10,3,*,*]
 [5,10,4,*,*]
 [5,10,5,*,*]
 [5,10,6,*,*]
 [5,10,7,*,*]
 [5,11,1,*,*]
 [5,11,2,*,*]
:    6    :=
30   1

 [5,11,3,*,*]
:    6    :=
3    1

 [5,11,4,*,*]
:    6    :=
7    1

 [5,11,5,*,*]
:    6    :=
30   1

 [5,11,6,*,*]
:    6    :=
3    1

 [5,11,7,*,*]
 [5,12,1,*,*]
 [5,12,2,*,*]
 [5,12,3,*,*]
 [5,12,4,*,*]
 [5,12,5,*,*]
 [5,12,6,*,*]
 [5,12,7,*,*]
 [5,13,1,*,*]
 [5,13,2,*,*]
 [5,13,3,*,*]
 [5,13,4,*,*]
 [5,13,5,*,*]
 [5,13,6,*,*]
 [5,13,7,*,*]
 [5,14,1,*,*]
 [5,14,2,*,*]
:    3    :=
27   1
30   1

 [5,14,3,*,*]
:    3    :=
19   1
27   1

 [5,14,4,*,*]
 [5,14,5,*,*]
:    3    :=
27   1
30   1

 [5,14,6,*,*]
:    3    :=
3    2

 [5,14,7,*,*]
:    3    :=
3    1
23   1

 [5,15,1,*,*]
:   10    :=
23   1

 [5,15,2,*,*]
 [5,15,3,*,*]
:   10    :=
11   1

 [5,15,4,*,*]
:   10    :=
19   1

 [5,15,5,*,*]
:   10    :=
30   1

 [5,15,6,*,*]
 [5,15,7,*,*]
:   10    :=
11   1

 [5,16,1,*,*]
:   12    :=
7    1
11   1
15   1

 [5,16,2,*,*]
:   12    :=
3    2
30   1

 [5,16,3,*,*]
 [5,16,4,*,*]
 [5,16,5,*,*]
:   12    :=
7    3

 [5,16,6,*,*]
:   12    :=
11   3

 [5,16,7,*,*]
:   12    :=
19   3

 [6,1,1,*,*]
 [6,1,2,*,*]
 [6,1,3,*,*]
 [6,1,4,*,*]
 [6,1,5,*,*]
 [6,1,6,*,*]
 [6,1,7,*,*]
 [6,2,1,*,*]
:   23    :=
11   1

 [6,2,2,*,*]
:   23    :=
30   1

 [6,2,3,*,*]
:   23    :=
19   1

 [6,2,4,*,*]
:   23    :=
27   1

 [6,2,5,*,*]
:   23    :=
23   1

 [6,2,6,*,*]
 [6,2,7,*,*]
:   23    :=
23   1

 [6,3,1,*,*]
 [6,3,2,*,*]
 [6,3,3,*,*]
 [6,3,4,*,*]
 [6,3,5,*,*]
 [6,3,6,*,*]
 [6,3,7,*,*]
 [6,4,1,*,*]
:   27    :=
23   1

 [6,4,2,*,*]
 [6,4,3,*,*]
:   27    :=
30   1

 [6,4,4,*,*]
:   27    :=
7    1

 [6,4,5,*,*]
:   27    :=
30   1

 [6,4,6,*,*]
:   27    :=
30   1

 [6,4,7,*,*]
:   27    :=
19   1

 [6,5,1,*,*]
 [6,5,2,*,*]
 [6,5,3,*,*]
 [6,5,4,*,*]
 [6,5,5,*,*]
 [6,5,6,*,*]
 [6,5,7,*,*]
 [6,6,1,*,*]
 [6,6,2,*,*]
 [6,6,3,*,*]
 [6,6,4,*,*]
 [6,6,5,*,*]
 [6,6,6,*,*]
 [6,6,7,*,*]
 [6,7,1,*,*]
 [6,7,2,*,*]
 [6,7,3,*,*]
 [6,7,4,*,*]
 [6,7,5,*,*]
 [6,7,6,*,*]
 [6,7,7,*,*]
 [6,8,1,*,*]
:   27    :=
19   1

 [6,8,2,*,*]
 [6,8,3,*,*]
:   27    :=
30   1

 [6,8,4,*,*]
:   27    :=
11   1

 [6,8,5,*,*]
:   27    :=
23   1

 [6,8,6,*,*]
:   27    :=
27   1

 [6,8,7,*,*]
:   27    :=
19   1

 [6,9,1,*,*]
 [6,9,2,*,*]
 [6,9,3,*,*]
 [6,9,4,*,*]
 [6,9,5,*,*]
 [6,9,6,*,*]
 [6,9,7,*,*]
 [6,10,1,*,*]
 [6,10,2,*,*]
 [6,10,3,*,*]
 [6,10,4,*,*]
 [6,10,5,*,*]
 [6,10,6,*,*]
 [6,10,7,*,*]
 [6,11,1,*,*]
 [6,11,2,*,*]
 [6,11,3,*,*]
 [6,11,4,*,*]
 [6,11,5,*,*]
 [6,11,6,*,*]
 [6,11,7,*,*]
 [6,12,1,*,*]
:   23    :=
30   1

 [6,12,2,*,*]
:   23    :=
3    1

 [6,12,3,*,*]
:   23    :=
3    1

 [6,12,4,*,*]
:   23    :=
3    1

 [6,12,5,*,*]
:   23    :=
3    1

 [6,12,6,*,*]
 [6,12,7,*,*]
:   23    :=
19   1

 [6,13,1,*,*]
 [6,13,2,*,*]
 [6,13,3,*,*]
 [6,13,4,*,*]
 [6,13,5,*,*]
 [6,13,6,*,*]
 [6,13,7,*,*]
 [6,14,1,*,*]
 [6,14,2,*,*]
:   28    :=
15   1

 [6,14,3,*,*]
:   28    :=
30   1

 [6,14,4,*,*]
:   28    :=
19   1

 [6,14,5,*,*]
:   28    :=
30   1

 [6,14,6,*,*]
:   28    :=
27   1

 [6,14,7,*,*]
:   28    :=
23   1

 [6,15,1,*,*]
 [6,15,2,*,*]
 [6,15,3,*,*]
 [6,15,4,*,*]
 [6,15,5,*,*]
 [6,15,6,*,*]
 [6,15,7,*,*]
 [6,16,1,*,*]
 [6,16,2,*,*]
 [6,16,3,*,*]
 [6,16,4,*,*]
 [6,16,5,*,*]
 [6,16,6,*,*]
 [6,16,7,*,*]
 [7,1,1,*,*]
 [7,1,2,*,*]
 [7,1,3,*,*]
 [7,1,4,*,*]
 [7,1,5,*,*]
 [7,1,6,*,*]
 [7,1,7,*,*]
 [7,2,1,*,*]
 [7,2,2,*,*]
 [7,2,3,*,*]
 [7,2,4,*,*]
 [7,2,5,*,*]
 [7,2,6,*,*]
 [7,2,7,*,*]
 [7,3,1,*,*]
 [7,3,2,*,*]
 [7,3,3,*,*]
 [7,3,4,*,*]
 [7,3,5,*,*]
 [7,3,6,*,*]
 [7,3,7,*,*]
 [7,4,1,*,*]
 [7,4,2,*,*]
 [7,4,3,*,*]
 [7,4,4,*,*]
 [7,4,5,*,*]
 [7,4,6,*,*]
 [7,4,7,*,*]
 [7,5,1,*,*]
 [7,5,2,*,*]
 [7,5,3,*,*]
 [7,5,4,*,*]
 [7,5,5,*,*]
 [7,5,6,*,*]
 [7,5,7,*,*]
 [7,6,1,*,*]
 [7,6,2,*,*]
 [7,6,3,*,*]
 [7,6,4,*,*]
 [7,6,5,*,*]
 [7,6,6,*,*]
 [7,6,7,*,*]
 [7,7,1,*,*]
:   13    :=
4    1
20   1

 [7,7,2,*,*]
:   13    :=
4    1
24   1

 [7,7,3,*,*]
 [7,7,4,*,*]
:   13    :=
4    1
24   1

 [7,7,5,*,*]
 [7,7,6,*,*]
:   13    :=
4    1
20   1

 [7,7,7,*,*]
:   13    :=
24   2

 [7,8,1,*,*]
 [7,8,2,*,*]
 [7,8,3,*,*]
 [7,8,4,*,*]
 [7,8,5,*,*]
 [7,8,6,*,*]
 [7,8,7,*,*]
 [7,9,1,*,*]
 [7,9,2,*,*]
 [7,9,3,*,*]
 [7,9,4,*,*]
 [7,9,5,*,*]
 [7,9,6,*,*]
 [7,9,7,*,*]
 [7,10,1,*,*]
 [7,10,2,*,*]
 [7,10,3,*,*]
 [7,10,4,*,*]
 [7,10,5,*,*]
 [7,10,6,*,*]
 [7,10,7,*,*]
 [7,11,1,*,*]
 [7,11,2,*,*]
 [7,11,3,*,*]
 [7,11,4,*,*]
 [7,11,5,*,*]
 [7,11,6,*,*]
 [7,11,7,*,*]
 [7,12,1,*,*]
 [7,12,2,*,*]
 [7,12,3,*,*]
 [7,12,4,*,*]
 [7,12,5,*,*]
 [7,12,6,*,*]
 [7,12,7,*,*]
 [7,13,1,*,*]
 [7,13,2,*,*]
 [7,13,3,*,*]
 [7,13,4,*,*]
 [7,13,5,*,*]
 [7,13,6,*,*]
 [7,13,7,*,*]
 [7,14,1,*,*]
 [7,14,2,*,*]
 [7,14,3,*,*]
 [7,14,4,*,*]
 [7,14,5,*,*]
 [7,14,6,*,*]
 [7,14,7,*,*]
 [7,15,1,*,*]
 [7,15,2,*,*]
 [7,15,3,*,*]
 [7,15,4,*,*]
 [7,15,5,*,*]
 [7,15,6,*,*]
 [7,15,7,*,*]
 [7,16,1,*,*]
 [7,16,2,*,*]
 [7,16,3,*,*]
 [7,16,4,*,*]
 [7,16,5,*,*]
 [7,16,6,*,*]
 [7,16,7,*,*]
 [8,1,1,*,*]
 [8,1,2,*,*]
 [8,1,3,*,*]
 [8,1,4,*,*]
 [8,1,5,*,*]
 [8,1,6,*,*]
 [8,1,7,*,*]
 [8,2,1,*,*]
 [8,2,2,*,*]
 [8,2,3,*,*]
 [8,2,4,*,*]
 [8,2,5,*,*]
 [8,2,6,*,*]
 [8,2,7,*,*]
 [8,3,1,*,*]
 [8,3,2,*,*]
 [8,3,3,*,*]
 [8,3,4,*,*]
 [8,3,5,*,*]
 [8,3,6,*,*]
 [8,3,7,*,*]
 [8,4,1,*,*]
 [8,4,2,*,*]
 [8,4,3,*,*]
 [8,4,4,*,*]
 [8,4,5,*,*]
 [8,4,6,*,*]
 [8,4,7,*,*]
 [8,5,1,*,*]
:   27    :=
4    2

 [8,5,2,*,*]
 [8,5,3,*,*]
:   27    :=
16   2

 [8,5,4,*,*]
:   27    :=
20   2

 [8,5,5,*,*]
:   27    :=
24   2

 [8,5,6,*,*]
:   27    :=
24   2

 [8,5,7,*,*]
:   27    :=
20   2

 [8,6,1,*,*]
 [8,6,2,*,*]
 [8,6,3,*,*]
 [8,6,4,*,*]
 [8,6,5,*,*]
 [8,6,6,*,*]
 [8,6,7,*,*]
 [8,7,1,*,*]
 [8,7,2,*,*]
 [8,7,3,*,*]
 [8,7,4,*,*]
 [8,7,5,*,*]
 [8,7,6,*,*]
 [8,7,7,*,*]
 [8,8,1,*,*]
 [8,8,2,*,*]
 [8,8,3,*,*]
 [8,8,4,*,*]
 [8,8,5,*,*]
 [8,8,6,*,*]
 [8,8,7,*,*]
 [8,9,1,*,*]
 [8,9,2,*,*]
 [8,9,3,*,*]
 [8,9,4,*,*]
 [8,9,5,*,*]
 [8,9,6,*,*]
 [8,9,7,*,*]
 [8,10,1,*,*]
 [8,10,2,*,*]
 [8,10,3,*,*]
 [8,10,4,*,*]
 [8,10,5,*,*]
 [8,10,6,*,*]
 [8,10,7,*,*]
 [8,11,1,*,*]
 [8,11,2,*,*]
 [8,11,3,*,*]
 [8,11,4,*,*]
 [8,11,5,*,*]
 [8,11,6,*,*]
 [8,11,7,*,*]
 [8,12,1,*,*]
 [8,12,2,*,*]
 [8,12,3,*,*]
 [8,12,4,*,*]
 [8,12,5,*,*]
 [8,12,6,*,*]
 [8,12,7,*,*]
 [8,13,1,*,*]
 [8,13,2,*,*]
 [8,13,3,*,*]
 [8,13,4,*,*]
 [8,13,5,*,*]
 [8,13,6,*,*]
 [8,13,7,*,*]
 [8,14,1,*,*]
 [8,14,2,*,*]
 [8,14,3,*,*]
 [8,14,4,*,*]
 [8,14,5,*,*]
 [8,14,6,*,*]
 [8,14,7,*,*]
 [8,15,1,*,*]
 [8,15,2,*,*]
 [8,15,3,*,*]
 [8,15,4,*,*]
 [8,15,5,*,*]
 [8,15,6,*,*]
 [8,15,7,*,*]
 [8,16,1,*,*]
 [8,16,2,*,*]
 [8,16,3,*,*]
 [8,16,4,*,*]
 [8,16,5,*,*]
 [8,16,6,*,*]
 [8,16,7,*,*];

_solve_elapsed_time = 3601.25

_nvars = 914865
_ncons = 16225
